COMMENT ⊗   VALID 00002 PAGES
C REC  PAGE   DESCRIPTION
C00001 00001
C00002 00002	(defvar x)(defvar y)(defvar z)
C00004 ENDMK
C⊗;
(defvar x)(defvar y)(defvar z)

(defun tak (x y z)
  (stak))

(defun stak ()
       (cond ((not (ilessp y x))	
	      z)
	     (t (let ((x (let ((x (isub1 x))
			       (y y)
			       (z z))
			      (stak)))
		      (y (let ((x (isub1 y))
			       (y z)
			       (z x))
			      (stak)))
		      (z (let ((x (isub1 z))
			       (y x)
			       (z y))
			      (stak))))
		     (stak)))))

(defun timit ()
    (do ((n 2 (isub1 n)))
	((izerop n))
	(tak 18 12 6)
	(tak 18 12 6)
	(tak 18 12 6)
	(tak 18 12 6)
	(tak 18 12 6)))